Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
by Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
ISBN 13: 9783030388027
Format: Paperback (552 pages) Publisher: Springer Published: 07 Jul 2023
Save for later